<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class attributes" rel=Appendix href="index_attributes.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Definition" rel="Chapter" href="Definition.html"><title>Definition.v_print_string</title>
</head>
<body>
<code class="code"><span class="keyword">let</span>&nbsp;v_print_string&nbsp;level&nbsp;str=<span class="keyword">if</span>&nbsp;!verbose&lt;=&nbsp;level&nbsp;<span class="keyword">then</span>&nbsp;print_string&nbsp;str</code></body></html>